Analisis de la premisa "Todo perro es mamífero."

¿Cuál es el significado de estas cuatro de regiones?

Todo perro que no es mamífero. Todo perro que es mamífero. Todo mamífero que no es perro. Lo que no es un perro o un mamífero se encuentra fuera de ambos círculos.

Dado que la región 2 se corresponde con la premisa "Todo perro es un mamífero,"
entonces la region 1 debería sombrearse.

Visión general